Robin Milner

Results: 28



#Item
11Robin Milner 1934–2010 Verification, Languages, and Concurrency Andrew D. Gordon Robert Harper

Robin Milner 1934–2010 Verification, Languages, and Concurrency Andrew D. Gordon Robert Harper

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2011-10-18 12:43:43
    12Seminar notes on developments in bigraphs Robin Milner, October 2009 Universities of Cambridge and Edinburgh These notes support seminars on theoretical advances in the bigraph model. They are conjectural; they aim to st

    Seminar notes on developments in bigraphs Robin Milner, October 2009 Universities of Cambridge and Edinburgh These notes support seminars on theoretical advances in the bigraph model. They are conjectural; they aim to st

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2009-11-28 08:02:10
      13What is a process? Robin Milner, September 2009 The concept of process has become increasingly important in computer science in the last three decades and more. Yet we still don’t agree on what a process is. We probabl

      What is a process? Robin Milner, September 2009 The concept of process has become increasingly important in computer science in the last three decades and more. Yet we still don’t agree on what a process is. We probabl

      Add to Reading List

      Source URL: www.cs.rice.edu

      Language: English - Date: 2009-09-14 07:05:01
        14Lecture notes on Bigraphs: a Model for Mobile Agents Robin Milner, November 2008 These notes are designed to be read in conjunction with the slides for six Lectures on bigraphs, with the above title. They aim to be usefu

        Lecture notes on Bigraphs: a Model for Mobile Agents Robin Milner, November 2008 These notes are designed to be read in conjunction with the slides for six Lectures on bigraphs, with the above title. They aim to be usefu

        Add to Reading List

        Source URL: www.cl.cam.ac.uk

        Language: English - Date: 2009-11-12 05:16:34
          15Un calcul pour la communication / A calculus for communication - 12 décembreDiscours de Robin Milner

          Un calcul pour la communication / A calculus for communication - 12 décembreDiscours de Robin Milner

          Add to Reading List

          Source URL: www.academie-sciences.fr

          Language: French - Date: 2011-02-10 08:49:54
            16What purpose is served by a concept of process? Robin Milner, November 2009 This note continues my first response “What is a process?” to the paper Branching and Linear Time: Semantical Perspective by Nain and Vardi.

            What purpose is served by a concept of process? Robin Milner, November 2009 This note continues my first response “What is a process?” to the paper Branching and Linear Time: Semantical Perspective by Nain and Vardi.

            Add to Reading List

            Source URL: www.cs.rice.edu

            Language: English - Date: 2011-05-17 17:30:04
              17Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

              Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

              Add to Reading List

              Source URL: www.cl.cam.ac.uk

              Language: English - Date: 2011-10-18 12:40:33
                18The Space and Motion of Large Informatic Systems Visions of Computer Science, 2008 Robin Milner, University of Cambridge 1

                The Space and Motion of Large Informatic Systems Visions of Computer Science, 2008 Robin Milner, University of Cambridge 1

                Add to Reading List

                Source URL: www.cl.cam.ac.uk

                Language: English - Date: 2008-11-05 12:33:18
                19Commentary on Standard ML Commentary on Standard ML Robin Milner and Mads Tofte

                Commentary on Standard ML Commentary on Standard ML Robin Milner and Mads Tofte

                Add to Reading List

                Source URL: www.itu.dk

                Language: English - Date: 2007-07-23 09:44:07
                20The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper

                The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper

                Add to Reading List

                Source URL: www.itu.dk

                Language: English - Date: 2007-07-23 09:36:22